Existenzaussage — Eine Existenzaussage ist eine Aussage beziehungsweise Behauptung des Inhalts, dass mindestens ein Gegenstand (Element, Individuum, Ereignis) eines bestimmten Gegenstandsbereichs eine bestimmte Eigenschaft hat, d. h. dass die betroffene… … Deutsch Wikipedia
Existenzaussage — Existẹnzaussage, partikuläre Aussage, Logik, Mathematik: eine auch als Existenzialurteil bezeichnete Aussage, in der behauptet wird, dass es in einem bestimmten Bereich (der Grundmenge) mindestens einen Gegenstand gibt, auf den ein bestimmter… … Universal-Lexikon
singulärer Satz — ⇡ Existenzaussage … Lexikon der Economics
Existenzialaussage — Eine Existenzaussage ist eine Aussage beziehungsweise Behauptung des Inhalts, dass mindestens ein Gegenstand (Element, Individuum, Ereignis) eines bestimmten Gegenstandsbereichs eine bestimmte Eigenschaft hat, d. h. dass die betroffene… … Deutsch Wikipedia
Existenzquantifizierter Satz — Eine Existenzaussage ist eine Aussage beziehungsweise Behauptung des Inhalts, dass mindestens ein Gegenstand (Element, Individuum, Ereignis) eines bestimmten Gegenstandsbereichs eine bestimmte Eigenschaft hat, d. h. dass die betroffene… … Deutsch Wikipedia
Existenzsatz — Eine Existenzaussage ist eine Aussage beziehungsweise Behauptung des Inhalts, dass mindestens ein Gegenstand (Element, Individuum, Ereignis) eines bestimmten Gegenstandsbereichs eine bestimmte Eigenschaft hat, d. h. dass die betroffene… … Deutsch Wikipedia
Partikuläre Aussage — Eine Existenzaussage ist eine Aussage beziehungsweise Behauptung des Inhalts, dass mindestens ein Gegenstand (Element, Individuum, Ereignis) eines bestimmten Gegenstandsbereichs eine bestimmte Eigenschaft hat, d. h. dass die betroffene… … Deutsch Wikipedia
Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia
Existenzoperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… … Deutsch Wikipedia